5

Early performance assessment in component-based software systems

Year:
2013
Language:
english
File:
PDF, 541 KB
english, 2013
6

A new formalism for mathematical description and

Year:
2009
Language:
english
File:
PDF, 545 KB
english, 2009
9

Information leakage of multi-threaded programs

Year:
2019
Language:
english
File:
PDF, 1.63 MB
english, 2019
15

Formal framework for specifying dynamic reconfiguration of adaptive systems

Year:
2013
Language:
english
File:
PDF, 953 KB
english, 2013